eq\_ds($d$; $a$; $x$; $y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$dseq($d$;$a$)($x$,$y$)